Der directe Beweis, dass die Blutkörperchen Fibrin liefern
نویسندگان
چکیده
منابع مشابه
Variation der Fokusebenen zur 3D-Rekonstruktion weißer Blutkörperchen
Zusammenfassung. Für die Rekonstruktion mikroskopisch beobachtbarer Objekte sind aus der Literatur Verfahren bekannt, die aus mehreren lichtmikroskopischen Aufnahmen unterschiedlicher Fokussierung die Objektoberfläche rekonstruieren. Das sog. Shape-from-Focus-Verfahren berechnet dazu durch Maximierung eines Schärfemaßes für jede Pixelposition einen Höhenindex. Während diese Maximierung bei diff...
متن کاملC++ ist typsicher? Garantiert!
Wir präsentieren eine operationelle Semantik mit Typsicherheitsbeweis für Mehrfachvererbung in C++, formalisiert im und maschinengeprüft durch den Maschinenbeweiser Isabelle/HOL. Die Typsicherheit des Vererbungsmechanismus von C++ war lange offen. Der nun vorliegende Beweis erhöht das Vertrauen in die Sprache, erzeugt aber auch neue Einsicht in die Problematik des C++-Vererbungsmechanismus. Er ...
متن کاملDie Bedeutung der Empirie fuer die Softwaretechnik
Empirische Untersuchungen sind aus der Softwareforschung nicht mehr wegzudenken. Explorative empirische Studien einschließlich kontrollierter Experimente vergleichen verschiedene Techniken, um festzustellen, ob bei Verwendung der Techniken Unterschiede in der Qualität von Software, der Bearbeitungszeit oder anderen Eigenschaften tatsächlich zu beobachten sind. Diese Studien bestätigen oder verw...
متن کاملDie Vielfalt der Modelle in der Informatik
Die Bedeutung der Informatischen Modellbildung für den Schulunterricht wird von Seiten der Informatikdidaktiker immer wieder betont. Das Modell als Gegenstand einer Modellbildung existiert jedoch auch in der Fachwissenschaft Informatik in zahlreichen Facetten. Diese lassen sich unter Verwendung der Allgemeinen Modelltheorie von Stachowiak systematisch aufzeigen. Dabei wird deutlich, dass sich d...
متن کاملDie Medien der Informatik
Das Verhältnis zwischen Informatik und Medienwissenschaft, insbesondere zwischen Informatikdidaktik und Medienpädagogik ist traditionell ziemlich angespannt. Medienwissenschaftler werden von Informatikern gerne als ‚Schmalspurfilmer’ diskreditiert, um klarzustellen, dass eine Beschäftigung mit Medien innerhalb der Informatik wenig gehaltvoll und nicht ernst zu nehmen ist. Informatiker hingegen ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Pflüger, Archiv für die Gesammte Physiologie des Menschen und der Thiere
سال: 1870
ISSN: 0031-6768,1432-2013
DOI: 10.1007/bf01855765